freely generated

См. также в других словарях:

• Free group — In mathematics, a group G is called free if there is a subset S of G such that any element of G can be written in one and only one way as a product of finitely many elements of S and their inverses (disregarding trivial variations such as st 1 =… …   Wikipedia

• Generating set of a group — In abstract algebra, a generating set of a group is a subset that is not contained in any proper subgroup of the group. Equivalently, a generating set of a group is a subset such that every element of the group can be expressed as the combination …   Wikipedia

• Congruence lattice problem — In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most …   Wikipedia

• Edge space — In the mathematical discipline of graph theory, the edge space and vertex space of an undirected graph are vector spaces defined in terms of the edge and vertex sets, respectively. These vector spaces make it possible to use techniques of linear… …   Wikipedia

• Complete lattice — In mathematics, a complete lattice is a partially ordered set in which all subsets have both a supremum (join) and an infimum (meet). Complete lattices appear in many applications in mathematics and computer science. Being a special instance of… …   Wikipedia

• Simplicial category — In mathematics, the simplicial category (or ordinal category) is a construction in category theory used to define simplicial and cosimplicial objects. Formal definitionThe simplicial category is usually denoted by Delta and is sometimes denoted… …   Wikipedia

• Term algebra — In universal algebra, a term algebra is an algebraic structure which is freely generated from a signature specifying the operations of the algebra (including constants, which are nullary operations). For example, free magmas are isomorphic to… …   Wikipedia

• Hopf invariant — In mathematics, in particular in algebraic topology, the Hopf invariant is a homotopy invariant of certain maps between spheres. toc Motivation In 1931 Heinz Hopf used Clifford parallels to construct the Hopf map etacolon S^3 o S^2, and proved… …   Wikipedia

• Polar homology — In complex geometry, a polar homology is a group which captures holomorphic invariants of a complex manifold in a similar way to usual homology of a manifold in differential topology. Polar homology was defined by B. Khesin and A. Rosly in… …   Wikipedia

• Freiheitssatz — In mathematics, the Freiheitssatz (German: freedom/independence theorem ) is a result in the presentation theory of groups. The result was proposed by the German mathematician Max Dehn and proved by his student, Wilhelm Magnus, in his doctoral… …   Wikipedia

• Jordan algebra — In mathematics, a Jordan algebra is defined in abstract algebra as a (usually nonassociative) algebra over a field with multiplication satisfying the following axioms:# xy = yx (commutative law) # (xy)(xx) = x(y(xx)) (Jordan identity)The product… …   Wikipedia